Tool Support for Engineering Certifiable Software
نویسندگان
چکیده
منابع مشابه
Tool-support for Model-Driven Software Engineering
Model Driven Architecture is an initiative of the OMG that puts a platform and programming language independent modelling using UML in the center of the development. Transformation from high level views to technologydependent views take place more or less automatically through mappings. However, this requires heavy tool support and so far few tools to support this idea adequately exist. In a se...
متن کاملTool Support for Software Engineering Education
Although software engineering is a well-documented area of computer science, courses in software engineering frequently do not give students enough practical experience with concepts such as software design, prototyping, programming, debugging, program understanding, software reuse, and so on. As a result, computer science graduates too often acquire a sound theoretical understanding of softwar...
متن کاملVisual Tool Support for Scenario Based Software Engineering
This paper discusses how a CASE-tool supporting the Unified Modeling Language (UML) can be customized and extended using a visual scripting mechanism. We briefly introduce a set of UML model operations that can be used to transform a UML diagram of one type to another, and to perform set-theoretical operations on them. We discuss a visual scripting mechanism that can be used to combine these op...
متن کاملRequirements Management Tool Support for Software Engineering in Collaboration
Rigorous competition and tight time-to-market and quality requirements of products are nowadays driving companies to develop products in collaboration. Collaborative development also comes with challenges; communication between parties and product and workflow management during the development becomes more difficult. Especially, requirements management is seen as one of the most critical activi...
متن کاملTool Support for Ontology Engineering
The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its success has now spread far beyond the Web: it has become the ontology language of choice for a wide range of application domains. One of the key benefits flowing from OWL standardisation has been the development of a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.09.008